<?php

echo'Hello world';